extension | φ:Q→Out N | d | ρ | Label | ID |
C23.11D4:1C2 = C23.5D8 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:1C2 | 128,339 |
C23.11D4:2C2 = C24.15D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:2C2 | 128,344 |
C23.11D4:3C2 = C24.95D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:3C2 | 128,1144 |
C23.11D4:4C2 = C23.315C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:4C2 | 128,1147 |
C23.11D4:5C2 = C23.318C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:5C2 | 128,1150 |
C23.11D4:6C2 = C24.563C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:6C2 | 128,1151 |
C23.11D4:7C2 = C24.254C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:7C2 | 128,1152 |
C23.11D4:8C2 = C23.322C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:8C2 | 128,1154 |
C23.11D4:9C2 = C24.258C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:9C2 | 128,1157 |
C23.11D4:10C2 = C23.327C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:10C2 | 128,1159 |
C23.11D4:11C2 = C24.269C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:11C2 | 128,1175 |
C23.11D4:12C2 = C23.344C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:12C2 | 128,1176 |
C23.11D4:13C2 = C24.271C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:13C2 | 128,1179 |
C23.11D4:14C2 = C23.348C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:14C2 | 128,1180 |
C23.11D4:15C2 = C23.360C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:15C2 | 128,1192 |
C23.11D4:16C2 = C24.286C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:16C2 | 128,1198 |
C23.11D4:17C2 = C24.289C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:17C2 | 128,1202 |
C23.11D4:18C2 = C24.290C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:18C2 | 128,1203 |
C23.11D4:19C2 = C23.372C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:19C2 | 128,1204 |
C23.11D4:20C2 = C23.374C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:20C2 | 128,1206 |
C23.11D4:21C2 = C23.377C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:21C2 | 128,1209 |
C23.11D4:22C2 = C23.380C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:22C2 | 128,1212 |
C23.11D4:23C2 = C24.573C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:23C2 | 128,1213 |
C23.11D4:24C2 = C23.382C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:24C2 | 128,1214 |
C23.11D4:25C2 = C24.96D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:25C2 | 128,1215 |
C23.11D4:26C2 = C23.385C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:26C2 | 128,1217 |
C23.11D4:27C2 = C24.299C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:27C2 | 128,1218 |
C23.11D4:28C2 = C23.388C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:28C2 | 128,1220 |
C23.11D4:29C2 = C23.390C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:29C2 | 128,1222 |
C23.11D4:30C2 = C23.398C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:30C2 | 128,1230 |
C23.11D4:31C2 = C23.404C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:31C2 | 128,1236 |
C23.11D4:32C2 = C23.410C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:32C2 | 128,1242 |
C23.11D4:33C2 = C23.412C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:33C2 | 128,1244 |
C23.11D4:34C2 = C23.413C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:34C2 | 128,1245 |
C23.11D4:35C2 = C23.416C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:35C2 | 128,1248 |
C23.11D4:36C2 = C23.418C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:36C2 | 128,1250 |
C23.11D4:37C2 = C24.311C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:37C2 | 128,1253 |
C23.11D4:38C2 = C23.426C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:38C2 | 128,1258 |
C23.11D4:39C2 = C23.431C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:39C2 | 128,1263 |
C23.11D4:40C2 = C42:17D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:40C2 | 128,1267 |
C23.11D4:41C2 = C23.443C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:41C2 | 128,1275 |
C23.11D4:42C2 = C42.170D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:42C2 | 128,1279 |
C23.11D4:43C2 = C24.326C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:43C2 | 128,1285 |
C23.11D4:44C2 = C23.457C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:44C2 | 128,1289 |
C23.11D4:45C2 = C24.332C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:45C2 | 128,1292 |
C23.11D4:46C2 = C23.461C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:46C2 | 128,1293 |
C23.11D4:47C2 = C24.340C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:47C2 | 128,1308 |
C23.11D4:48C2 = C23.478C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:48C2 | 128,1310 |
C23.11D4:49C2 = C42.182D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:49C2 | 128,1324 |
C23.11D4:50C2 = C24.347C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:50C2 | 128,1327 |
C23.11D4:51C2 = C24.348C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:51C2 | 128,1329 |
C23.11D4:52C2 = C23.500C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:52C2 | 128,1332 |
C23.11D4:53C2 = C23.502C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:53C2 | 128,1334 |
C23.11D4:54C2 = C42:24D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:54C2 | 128,1335 |
C23.11D4:55C2 = C24:10D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:55C2 | 128,1349 |
C23.11D4:56C2 = C24.97D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:56C2 | 128,1354 |
C23.11D4:57C2 = C24.589C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:57C2 | 128,1355 |
C23.11D4:58C2 = C23.524C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:58C2 | 128,1356 |
C23.11D4:59C2 = C23.530C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:59C2 | 128,1362 |
C23.11D4:60C2 = C42:29D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:60C2 | 128,1363 |
C23.11D4:61C2 = C42.190D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:61C2 | 128,1365 |
C23.11D4:62C2 = C24.374C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:62C2 | 128,1370 |
C23.11D4:63C2 = C24.592C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:63C2 | 128,1371 |
C23.11D4:64C2 = C42.193D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:64C2 | 128,1372 |
C23.11D4:65C2 = C23.543C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:65C2 | 128,1375 |
C23.11D4:66C2 = C23.544C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:66C2 | 128,1376 |
C23.11D4:67C2 = C23.548C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:67C2 | 128,1380 |
C23.11D4:68C2 = C24.375C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:68C2 | 128,1381 |
C23.11D4:69C2 = C23.551C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:69C2 | 128,1383 |
C23.11D4:70C2 = C23.553C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:70C2 | 128,1385 |
C23.11D4:71C2 = C24.377C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:71C2 | 128,1393 |
C23.11D4:72C2 = C24.378C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:72C2 | 128,1395 |
C23.11D4:73C2 = C23.568C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:73C2 | 128,1400 |
C23.11D4:74C2 = C23.574C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:74C2 | 128,1406 |
C23.11D4:75C2 = C23.578C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:75C2 | 128,1410 |
C23.11D4:76C2 = C23.580C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:76C2 | 128,1412 |
C23.11D4:77C2 = C23.584C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:77C2 | 128,1416 |
C23.11D4:78C2 = C24.393C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:78C2 | 128,1418 |
C23.11D4:79C2 = C24.394C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:79C2 | 128,1419 |
C23.11D4:80C2 = C24.395C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:80C2 | 128,1420 |
C23.11D4:81C2 = C23.591C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:81C2 | 128,1423 |
C23.11D4:82C2 = C23.593C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:82C2 | 128,1425 |
C23.11D4:83C2 = C24.401C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:83C2 | 128,1426 |
C23.11D4:84C2 = C23.595C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:84C2 | 128,1427 |
C23.11D4:85C2 = C24.403C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:85C2 | 128,1428 |
C23.11D4:86C2 = C23.597C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:86C2 | 128,1429 |
C23.11D4:87C2 = C23.600C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:87C2 | 128,1432 |
C23.11D4:88C2 = C24.407C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:88C2 | 128,1433 |
C23.11D4:89C2 = C23.603C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:89C2 | 128,1435 |
C23.11D4:90C2 = C23.606C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:90C2 | 128,1438 |
C23.11D4:91C2 = C23.607C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:91C2 | 128,1439 |
C23.11D4:92C2 = C23.608C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:92C2 | 128,1440 |
C23.11D4:93C2 = C24.412C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:93C2 | 128,1442 |
C23.11D4:94C2 = C23.612C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:94C2 | 128,1444 |
C23.11D4:95C2 = C24.413C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:95C2 | 128,1446 |
C23.11D4:96C2 = C23.615C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:96C2 | 128,1447 |
C23.11D4:97C2 = C23.617C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:97C2 | 128,1449 |
C23.11D4:98C2 = C24.418C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:98C2 | 128,1455 |
C23.11D4:99C2 = C23.624C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:99C2 | 128,1456 |
C23.11D4:100C2 = C24.420C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:100C2 | 128,1460 |
C23.11D4:101C2 = C23.630C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:101C2 | 128,1462 |
C23.11D4:102C2 = C23.635C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:102C2 | 128,1467 |
C23.11D4:103C2 = C23.636C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:103C2 | 128,1468 |
C23.11D4:104C2 = C23.637C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:104C2 | 128,1469 |
C23.11D4:105C2 = C23.640C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:105C2 | 128,1472 |
C23.11D4:106C2 = C23.641C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:106C2 | 128,1473 |
C23.11D4:107C2 = C24.432C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:107C2 | 128,1478 |
C23.11D4:108C2 = C23.649C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:108C2 | 128,1481 |
C23.11D4:109C2 = C24.435C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:109C2 | 128,1482 |
C23.11D4:110C2 = C23.651C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:110C2 | 128,1483 |
C23.11D4:111C2 = C23.652C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:111C2 | 128,1484 |
C23.11D4:112C2 = C24.437C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:112C2 | 128,1485 |
C23.11D4:113C2 = C23.656C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:113C2 | 128,1488 |
C23.11D4:114C2 = C24.438C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:114C2 | 128,1489 |
C23.11D4:115C2 = C24.440C23 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:115C2 | 128,1493 |
C23.11D4:116C2 = C23.678C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:116C2 | 128,1510 |
C23.11D4:117C2 = C23.679C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:117C2 | 128,1511 |
C23.11D4:118C2 = C23.681C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:118C2 | 128,1513 |
C23.11D4:119C2 = C23.682C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:119C2 | 128,1514 |
C23.11D4:120C2 = C23.686C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:120C2 | 128,1518 |
C23.11D4:121C2 = C23.696C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:121C2 | 128,1528 |
C23.11D4:122C2 = C23.697C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:122C2 | 128,1529 |
C23.11D4:123C2 = C23.700C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:123C2 | 128,1532 |
C23.11D4:124C2 = C23.703C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:124C2 | 128,1535 |
C23.11D4:125C2 = C23.708C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:125C2 | 128,1540 |
C23.11D4:126C2 = C24:11D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 32 | | C2^3.11D4:126C2 | 128,1544 |
C23.11D4:127C2 = C23.714C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:127C2 | 128,1546 |
C23.11D4:128C2 = C23.715C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:128C2 | 128,1547 |
C23.11D4:129C2 = C42.199D4 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:129C2 | 128,1552 |
C23.11D4:130C2 = C23.724C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:130C2 | 128,1556 |
C23.11D4:131C2 = C23.725C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:131C2 | 128,1557 |
C23.11D4:132C2 = C23.726C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:132C2 | 128,1558 |
C23.11D4:133C2 = C23.727C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:133C2 | 128,1559 |
C23.11D4:134C2 = C23.728C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:134C2 | 128,1560 |
C23.11D4:135C2 = C23.729C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:135C2 | 128,1561 |
C23.11D4:136C2 = C23.730C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:136C2 | 128,1562 |
C23.11D4:137C2 = C23.732C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:137C2 | 128,1564 |
C23.11D4:138C2 = C23.737C24 | φ: C2/C1 → C2 ⊆ Out C23.11D4 | 64 | | C2^3.11D4:138C2 | 128,1569 |
C23.11D4:139C2 = C42:15D4 | φ: trivial image | 64 | | C2^3.11D4:139C2 | 128,1124 |
C23.11D4:140C2 = C23.295C24 | φ: trivial image | 64 | | C2^3.11D4:140C2 | 128,1127 |
C23.11D4:141C2 = C42.163D4 | φ: trivial image | 64 | | C2^3.11D4:141C2 | 128,1130 |